Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
51	Modules over monads for operational semantics Benedikt Ahrens Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Journées GDR LTP Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2013-11-17 15:24:34
52	Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2008-12-19 01:24:32
53	Matteo Cimini Curriculum Vitae Indiana University, CREST 420 North Walnut Street, Bloomington, IndianaPhone: + Add to Reading List Source URL: cimini.info Language: English - Date: 2016-01-07 02:20:33 Theoretical computer science Symposium on Principles of Programming Languages Operational semantics Cimini Computer science
54	Manipulating Trees with Hidden Labels Luca Cardelli - Microsoft Research Philippa Gardner - Imperial College London Giorgio Ghelli - Università di Pisa Abstract. We define an operational semantics and a type system for Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2003-04-11 12:19:43
55	MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins Add to Reading List Source URL: rwd.rdockins.name Language: English - Date: 2015-10-04 14:40:34
56	Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics Jan Hoffmann and Martin Hofmann Ludwig-Maximilians-Universit¨at M¨unchen Abstract. This paper studies the problem of s Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-05-05 05:19:59
57	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
58	View Operations on Objects with Roles for a Statically Typed Database Language: The Type Rules and the Operational Semantics ANTONIO ALBANO, GIUSEPPE ANTOGNONI, and GIORGIO GHELLI Dipartimento di Informatica, Universita Add to Reading List Source URL: www.di.unipi.it Language: English - Date: 2001-12-28 13:51:10
59	Operational Semantics for Multi-Language Programs Jacob Matthews University of Chicago and Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2008-12-19 01:24:32
60	CMSC 336: Type Systems for Programming Languages Lecture 2: Operational Semantics Acar & Ahmed 15 January 2008 Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-01-17 12:55:23

UPDATE